Automa

      a|b     a|b     a|b 
-> q0 ---> q1 ---> q2 ---> (q3)
            <----------------
	           a|b

q3: stato finale

Dall'automa, ti ricavi la grammatica

G=(X,V,S,P)
X=(a,b)
V=(q0,q1,q2,q3)
S=(q0)

P= (	q0 -> aq1 | bq1
	q1 -> aq2 | bq2
	q2 -> aq3 | bq3 | a | b
	q3 -> aq1 | bq1
   )

Osservazione = Potete cambiare a Vostro piacimento il nome degli stati, non cambia niente nello svolgimento